<?php
/*
  Document   : Student navigatie
  Created on : 12-mei-2011, 12:05:08
  Author     : Shahram abdi
 */

if (!isset($_SESSION))
    session_start();
 
if (isset($_SESSION['username']) && !isset($_SESSION['pakket'])) {
    echo '<ul>';
    echo '<li><a href="?p=viewprofile">Mijn profile</a></li> ';
    echo '<li><a href="?p=editprofile">Profile bewerken</a></li> ';
    echo '<li><a href="?p=zoekstage">Stage zoeken</a></li> ';
    echo '<li><a href="?p=zoekvacatures">Vacatures zoeken</a></li> ';
    echo '<li><a href="?p=bedrijfsp">Bedrijfspresentatie</a></li> ';
    echo '<li><a href="?p=logout">Log Out (' . $_SESSION['username'] . ')</a></li>';
    echo '</ul>';
} else {
    echo '<ul>';
    echo '<li><a href="?p=home">Home</a> </li> ';
    echo '<li><a title="Nieuws" href="?p=nieuws">Nieuws</a></li>';
    echo '<li><a href="?p=makeprofile">Profiel aanmaken</a> </li> ';
    echo '</ul>';
}
?>